int jian(int x, int y);